Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
81	Stateless Model Checking with Data-Race Preemption Points Ben Blum Garth Gibson Carnegie Mellon University, USA Add to Reading List Source URL: www.contrib.andrew.cmu.edu - Date: 2016-08-27 03:06:16
82	Bounded Model Checking of Pointer Programs W. Charatonik, L. Georgieva, P. Maier∗ MPI–I–2005–2–002 Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:14
83	Model Checking Security APIs Gavin Keighren NI VER Add to Reading List Source URL: www.inf.ed.ac.uk - Date: 2006-10-02 01:06:31
84	Noname manuscript No. (will be inserted by the editor) Automatic Analysis of DMA Races Using Model Checking and k-induction Alastair F. Donaldson · Daniel Kroening · Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2012-08-31 08:16:46
85	Probabilistic Model Checking Part 1: Discrete-Time Markov Chains Joost-Pieter Katoen RWTH Aachen University Software Modeling and Verification Group Course on Probabilistic Model Checking, IMT Lucca, Italy, 2014 Add to Reading List Source URL: dl.dropboxusercontent.com
86	Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog Add to Reading List Source URL: spinroot.com - Date: 2013-08-11 14:51:27
87	SMT-based approaches to Model Checking of Distributed Broadcast Algorithms Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani Universit` a degli Studi di Milano / Fondazione Centro San Raffaele Add to Reading List Source URL: forsyte.at - Date: 2015-06-25 07:24:42
88	Gran: model checking grsecurity RBAC policies Michele Bugliesi Stefano Calzavara Riccardo Focardi Marco Squarcina DAIS, Università Ca’ Foscari Venezia, Italy Add to Reading List Source URL: www.dais.unive.it - Date: 2015-10-21 08:22:44
89	Robust Model-Checking of Timed Automata via Pumping in Channel Machines★ Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Timed automata are governed by a mathematical semantics Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2011-08-09 04:16:30

UPDATE